kernel/proc/trampoline.o: kernel/proc/trampoline.S \
 kernel/proc/../../include/memlayout.h
